1. Formal methods for components and objects
پدیدآورنده : Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
F53
2010eb